翻訳と辞書 Words near each other ・ Linden, Wise County, Virginia ・ Linden-Kildare Consolidated Independent School District ・ Linden-Kildare High School ・ Linden-Limmer ・ Linden-McKinley High School ・ Linden-South Historic District ・ Lindenau ・ Lindenau (crater) ・ Lindenau, Germany ・ Lindenau, New Jersey ・ Lindenau, Texas ・ Lindenau-Museum ・ Lindenbach (Glems) ・ Lindenbach (Kahl) ・ Lindenbaum ・ Lindenbaum's lemma ・ Lindenbaum–Tarski algebra ・ Lindenberg ・ Lindenberg (Habichtswald) ・ Lindenberg (Switzerland) ・ Lindenberg im Allgäu ・ Lindenberg Island ・ Lindenberg Medal ・ Lindenberg Peninsula ・ Lindenberg, Mecklenburg-Vorpommern ・ Lindenberg, Rhineland-Palatinate ・ Lindenberg/Eichsfeld ・ Lindenbergh Francisco da Silva ・ Lindenbergia ・ Lindenbergia sokotrana Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Lindenbaum's lemma ： ウィキペディア英語版 Lindenbaum's lemma In mathematical logic, Lindenbaum's lemma states that any consistent theory of predicate logic can be extended to a complete consistent theory. The lemma is a special case of the ultrafilter lemma for Boolean algebras, applied to the Lindenbaum algebra of a theory. ==Uses== It is used in the proof of Gödel's completeness theorem, among other places. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Lindenbaum's lemma」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.